Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
151	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
152	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
153	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
154	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
155	This discussion paper is/has been under review for the journal Solid Earth (SE). Please refer to the corresponding final paper in SE if available. Discussion Paper Solid Earth Discuss., 7, 1347–1374, 2015 Add to Reading List Source URL: www.solid-earth-discuss.net Language: English - Date: 2015-06-08 08:10:24 Artificial intelligence Logic in computer science Non-classical logic Fuzzy measure theory Fuzzy set Logic Mathematical logic Fuzzy logic
156	Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis: Add to Reading List Source URL: standefer.weebly.com Language: English - Date: 2014-11-06 15:15:02 Analytic philosophy Analytic philosophers Philosophy of mathematics Metalogic Non-classical logic Proof theory Philosophy of logic Nuel Belnap Alan Ross Anderson Logic Philosophy Philosophical logic
157	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
158	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:28:32 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Defuzzification Fuzzy set Expert system Membership function Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
159	Gregory Wheeler Research Profile AOS: Epistemology (formal, traditional, social, computational); Logic & Philosophy of Science; Decision Theory, Game Theory, Foundations of Probability AOC: Philosophy of Cognitive Scienc Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-06-06 05:34:26 Knowledge Non-classical logic Paraconsistent logic Formal epistemology Statistical inference Gregory Wheeler Probabilistic logic Philosophical logic Lottery paradox Logic Science Epistemology
160	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic

UPDATE